منابع مشابه
Ordonnancement dynamique, adapté aux architectures hétérogènes, de la méthode multipôle pour les équations de Maxwell, en électromagnétisme
متن کامل
Modélisation par la méthode des équations intégrales de frontière de phénomènes de conduction surfacique sur les isolateurs pollués
The dielectric withstand capabilities of insulating materials is related to their surface electric field and potential distributions. These distributions, in the presence of polluting layers, are quite different from these encountered in classical electrostatics. This work is concerned with the application of boundary integral equations method to the calculation of electric fields and potential...
متن کاملRéécriture de programmes C--en équations logiques
RÉSUMÉ. Cet article présente un système pour transformer, de façon automatique, des programmes écrits en C--, un langage impératif simple, en un ensemble d’équations du premier ordre. Cet ensemble d’équations utilisé pour représenter un programme C-a une signification mathématique précise et les techniques standards de mécanisation du raisonnement équationnel peuvent être déployées pour vérifie...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Séminaire de théorie spectrale et géométrie
سال: 1997
ISSN: 2118-9242
DOI: 10.5802/tsg.185